1

A short proof of representability of fork algebras

Year:
1997
Language:
english
File:
PDF, 752 KB
english, 1997
2

Parameterized Verification of Linear Networks using Automata as Invariants

Year:
1999
Language:
english
File:
PDF, 205 KB
english, 1999
3

On-the-Fly Model Checking Under Fairness that Exploits Symmetry

Year:
1999
Language:
english
File:
PDF, 129 KB
english, 1999
6

A Short Proof of Representability of Fork Algebras

Year:
1995
Language:
english
File:
PDF, 344 KB
english, 1995